Skip to content

random関連のドキュメントの更新 #298

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 5 commits into from
May 27, 2025

Conversation

takaram
Copy link
Contributor

@takaram takaram commented May 11, 2025

random 関連の直近のdoc-enの変更2件 (php/doc-en#4660, php/doc-en#4664) と、細かい翻訳の修正を合わせてPRにしています。

重複したシードの 10% が、ざっと 30,000 個のランダムな値を生成したあとに発生します。
重複がそれ(4,294,967,296 個)よりもかなり早く発生します。
誕生日のパラドックスによると、80,000 個以下のランダムなシードを生成した場合でも、
50% の確率で重複したシードが存在します。
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

「N % の確率で重複したシードが存在します」を「N % の確率でシードが重複します」あるいは「N % の確率で重複したシードが生成されます」とするのはどうでしょうか?

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

提案ありがとうございます!「N % の確率でシードが重複します」としました。

Copy link
Collaborator

@KentarouTakeda KentarouTakeda left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@takaram
ありがとうございます!確認遅れてすみません!

@nsfisis
レビューありがとうございました!!

@KentarouTakeda KentarouTakeda merged commit 3727558 into php:master May 27, 2025
2 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants